$\forall$$g$:GrpSig. ($g$$\downarrow$set) $\in$ PosetSig